VMM相关论文
X86 虚拟化环境逐渐成为Web 服务器重要的部署环境，该环境中虚拟机不能直接访问硬件资源，如I/O 操作等必须通过虚拟机管理软件(VMM)，......
介绍了基于群晖NAS的虚拟化技术,通过不同的维度与VMware虚拟化技术进行了对比分析,针对公司信息化系统现存的系统兼容性问题,在现......
使用VMM对Hyper-V主机进行管理时,不可避免会遇到这样那样的问题。本文将针对该场景下出现的一些问题进行解读。我们在使用VMM对Hy......
针对专用集成电路(ASIC)设计中功能验证的效率和完备性问题,以验证方法学手册(VMM)为基础搭建了串行高级技术附件(SATA)控制器分层......
该文扼要地介绍了 Win9x操作系统下高速数据采集在采样频率上存在的问题,并提出编制虚拟设备驱动程序( VxD)进行 Win9x系统下高速......
针对可编程器件在数字系统设计领域日益显现的重要性,分析了基于现场可编程门阵列(FPGA)的硬件设计的质量保证方法,指出必须对FPGA......
讲述了ＶｘＤ产生的背景，通过描述ＶｘＤ与虚拟机、虚拟机管理器之间的关系阐明了ＶｘＤ的作用，并详细介绍了ＶｘＤ的工作原理和开发过程．最后给出了一个ＶｘＤ程序实......
针对于一些传统的验证平台编写时非常复杂的弊端,文章利用VMM验证方法学,构建了可重用的验证平台.这种平台有着诸多的优点,如可维......
FC(Fibre Channel,光纤通道)交换机为光通信网络提供数据包交换服务,FC交换芯片是FC交换机的核心器件.在芯片研制过程中,能否完备......
本文首先介绍了VMM层次化验证方法学的基本思想和方法,将其与传统的芯片验证技术进行了对比,并进一步对基于VMM(Verification Meth......
针对可编程器件在数字系统设计领域日益显现的重要性,分析了基于现场可编程门阵列(FPGA)的硬件设计的质量保证方法,指出必须对FPGA......
文中分析了隔离网闸的原理以及应用中的问题,为实现更高效的安全隔离与数据交换系统,提出了基于一种基于虚拟机监控器体系结构的安......
恶意进程利用Rootkit使自己具有极强的隐蔽性。传统的隐藏进程检测工具部署在被检测系统中,容易受到攻击。为提高检测系统的抗攻击......
本文简要介绍了虚拟化技术与虚拟机监视器（VMM）体系结构的分类,重点分析了系统虚拟机实现的核心技术-CPU虚拟化、内存虚拟化I、/O虚......
以UART总线接口为例介绍一种高性能验证平台。该验证平台基于SystemVerilog语言,以功能覆盖率为导向,通过带约束的随机方法产生测......
瑞萨科技采用了Synopsys的VCS功能验证解决方案开发复杂的SoC，并选定了VMM方法集．即Vcrification Methodology Manual（VMM）for System ......
首先介绍了虚拟机技术的发展历史以及虚拟机监视器所具有的优点和特性,总结了其体系结构和分类,并分析了虚拟机监视器内部逻辑模块......
FC(Fibre Channel,光纤通道)交换机为光通信网络提供数据包交换服务,FC交换芯片是FC交换机的核心器件。在芯片研制过程中,能否完备......
VMM是一种基于SystemVerilog语言的验证方法学，它通过引入断言、抽象化、自动化与重用这四种机制提高了项目验证的生产率。本文通过......
IEEE Std 1800-2500 System Verilog作为一种工业标准硬件设计和验证语言,具有能够把RTL设计、测试平台、断言和覆盖率全面综合在......
IEEE Std 1800-2500 System Verilog作为一种工业标准硬件设计和验证语言,具有能够把RTL设计、测试平台、断言和覆盖率全面综合在......
借助虚拟化技术，Rootkit隐藏能力得到极大提升，基于、礓心压的Rootkit的研究成为主机安全领域的热点。总结了传统Rootkit的隐藏方法......
本文提出了一种新型的异构载荷路由系统基于VMM的功能验证方法,其结合了基于VMM高级验证方法学的功能仿真验证,有效提高了验证的充......
首先介绍了Ｗｉｎｄｏｗｓ设备驱动程序的机理，然后给出了在Ｗｉｎｄｏｗｓ环境下实现设备驱动程序的三种具体方法，并分析了它们的优缺点。其中重点阐述了可安装设......
针对一款高性能复杂SoC芯片的设计,提出了一种新的软硬件协同仿真验证方案。通过比较仿真环境中软硬件间通信的各种实现方式,构建......
操作系统是计算机软件系统的基础,具有控制逻辑复杂、安全性和可靠性要求高等特点。在国内外高等级安全操作系统的规范和标准中,都......
介绍了一种最新的验证方法VMM验证方法学,采用VMM的结构层次化方法设计了数据压缩子系统芯片的RTL级验证平台。验证结果表明,该验......
摘?要 随着科技信息相关技术的不断发现，对于集成电路的相关应用得到了前所未有的重视，对于设计方面的需求也不断的增强。集成电路......
VXD即虚拟设备驱动程序是Windows上层应用和底层硬件设备交互的中间环节,本文阐述了VXD驱动程序开发的通用流程,并且讲述PCI接口板......
微软快速发展的Virtual Machine Manager2008在R2中增加了许多重要的新功能。包括实时迁移、快速部署、快速存储迁移、主机兼容性......
VMM是虚拟环境的首选管理平台，经常出现的问题是：VMM是否应该安装在自身的物理服务器上，或者是否可以安装在VM上。VMM既支持物理环境，......
基于HOOK内核代码的传统主动防御软件在放行恶意驱动后对于高危险的恶意代码无法做到有效防御，因此在在已有的病毒行为分析和模式识......
信息技术迅猛发展的同时给信息安全带来了新的挑战。文件监控技术是保障计算机安全的有效手段。设计并实现了主机文件监控系统，能够......
本文以AMBAAHB总线上的从设备NAND Flash控制器为例，简要介绍了VMM验证方法学，并利用VMM验证方法学搭建了NAND Flash控制器验证平台，......
微软Hyper-V使用的是Typer 1 VMM架构下的子架构Microkernelized Hypervisor,采用三层结构。最底层叫做硬件层,是通过在其之上的管......
描述了一种基于SystemVerilog的网络处理器验证平台设计。该验证平台基于VMM架构,采用SystemVerilog语言编写所需的验证组件和功能......
针对符合IEEE 802.11的MAC协议的芯片设计,介绍一种新的验证方案。该方案以功能覆盖率为驱动,使用约束随机的激励完成验证,大大降......
流量管理芯片的验证是目前业界的热点与难点，验证工程师们一直在努力寻找用于流量测量的较好方法。采用System Verilog语言，基于Syno......
网络接口是网络芯片的重要组成模块。基于VMM实现了一个网络接口的验证环境,并就其参考模型（RM）的设计与验证环境的重用性进行了较为......
介绍SystemVerilogVMM验证方法学在LCDController验证中的应用，指出它相对于传统Verilog验证方法的1优点，重点研究功能覆盖率的收敛......
传统的验证平台编写复杂,且难以在不同设计之间重用。采用SystemVerilog支持的VMM验证方法学,并结合带约束的随机验证和覆盖率驱动......
随着集成电路行业的不断发展,芯片设计规模空前增长,功能也越来越复杂,使得验证的难度和重要性日益增大。在此提出一种由System Ve......
收稿日期：2013-10-18 基金项目：国家自然科学基金重点项目（61133005）； 湖南省科技厅课题项目（2011FJ3067） 作者简介：黄 漾（1974—），女，湖......
VBA技术在EDA验证领域的应用,极大地提高了芯片前端逻辑开发的工作效率。本文通过VBA技术,对以VMM验证方法学为基础的数据结构、寄......
目前在虚拟监控器VMM(Virtual Machine Monitor)下还没有能高效方便地对GuestOS进程进行管理的工具。以VMM是Lguest,GuestOS是Linu......
运用引用监控机的概念和虚拟机监控器的功能,提出了一种新的保护内核完整性的方法。该方法在虚拟机监控器中增加了引用监控模块,使......
介绍了Windows 9X下的虚拟环境，然后详细介绍了虚拟设备驱动程序的基本结构和运行原理。并简要介绍了基于Win 9X的ATM网卡虚拟设备......
针对云平台中的虚拟机内核级Rootkit破坏租户虚拟机完整性的问题,文章提出一种基于VMM(虚拟机监视器,Virtual Machine Monitor)的......
